منابع مشابه
Swap logic
We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ability to invert pairs of related elements in the domain while traversing an edge of the accessibility relation. SL is very expressive: it fails to have the finite and the tree ...
متن کاملSwap Bribery
In voting theory, bribery is a form of manipulative behavior in which an external actor (the briber) offers to pay the voters to change their votes in order to get her preferred candidate elected. We investigate a model of bribery where the price of each vote depends on the amount of change that the voter is asked to implement. Specifically, in our model the briber can change a voter’s preferen...
متن کاملPhysical Node 1 VAS Memory Swap Persistent Swap Persistent
In large persistent object systems it is possible to have many million (or eventually billion or more) objects in existence. These objects must be managed to enable their eeective and convenient use. At the heart of this management problem is the structure which maintains information about the objects and provides services on the objects using the information it maintains. We refer to this stru...
متن کاملHot Swap Power Management
This topic introduces the concept of Hot Swapping DC power buses and why hotswapping has become a mainstream requirement, particularly in the telecommunications industry. Several methods of implementing hot swap will be provided along with the pros and cons of each method. Finally, a hot swap design utilizing a Hot Swap Power Manager will be presented for a typical -48V telecom
متن کاملCredit Swap Valuation
This review of the pricing of credit swaps, a form of derivative security that can be viewed as default insurance on loans or bonds, begins with a description of the credit swap contract, turns to pricing by reference to spreads over the risk-free rate of par floating-rate bonds of the same quality, and then considers model-based pricing. The role of asset swap spreads as a reference for pricin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Chemical Biology
سال: 2013
ISSN: 1552-4450,1552-4469
DOI: 10.1038/nchembio.1196